Loop theorem - PDFSEARCH.IO - Document Search Engine

Loop theorem
Results: 22

#	Item
11	Converting MiniZinc to FlatZinc Nicholas Nethercote Version Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2008-06-19 04:02:31 List comprehension SQL Foreach loop Type theory Localization theorem Sedenion Computing Software engineering Notation
12	HOL Light Tutorial (for version[removed]John Harrison Intel JF1-13 [removed] January 12, 2011 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-01-12 14:03:23 Logic in computer science OCaml Automated theorem proving HOL Caml Proof assistant ML Read–eval–print loop Isabelle Software Computing Functional languages
13	SEMINAR NOTES: AFFINE GRASSMANNIAN AND THE LOOP GROUP (OCT. 13, 2009) DENNIS GAITSGORY Notes written by D. Gaitsgory and N. Rozenblyum 1. The Beauville-Laszlo theorem Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2009-10-17 17:46:41 Scheme theory Affine Grassmannian Spectrum of a ring Proj construction Scheme Beauville–Laszlo theorem Grassmannian Vector bundle Ample line bundle Abstract algebra Geometry Algebraic geometry
14	LOCALISING DEHN’S LEMMA AND THE LOOP THEOREM IN 3-MANIFOLDS I. R AITCHISON AND J. HYAM RUBINSTEIN Abstract. In this paper, we give a new proof of Dehn’s lemma and the loop theorem. This is a fundamental tool in the t Add to Reading List Source URL: www.ms.unimelb.edu.au Language: English - Date: 2004-02-23 06:04:21 Surfaces Haken manifold Incompressible surface Orientability Manifold Genus 2-sided Real projective plane Differentiable manifold Topology Geometric topology 3-manifolds
15	PDF Document Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2009-04-27 09:53:12 Maps of manifolds Differential topology Homotopy theory Covering space Loop theorem Immersion Sphere theorem Homotopy Poincaré duality Topology Geometric topology 3-manifolds
16	PDF Document Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2009-04-17 08:35:17 Manifolds Geometric topology Smooth functions Submanifold Embedding Immersion Loop theorem Topological manifold Covering space Topology Differential topology Maps of manifolds
17	Spanning trees of graphs on surfaces and the intensity of loop-erased random walk on planar graphs Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-06-23 20:39:18 Graph Spanning tree Neighbourhood Planar graph Matroid theory Planar separator theorem Laplacian matrix Graph theory Loop-erased random walk Tree
18	Frieze's Theorem on Expected Minimum Tree Length Add to Reading List Source URL: www.theoremoftheday.org Language: English - Date: 2013-08-01 17:26:43 Spanning tree Minimum spanning tree Tree Graph Loop-erased random walk Widest path problem Graph theory Theoretical computer science Mathematics
19	Publications of J.H. Rubinstein 1. Rubinstein, J.H., Minimal prime ideals and compactifications, J. Austral. Math. Soc[removed]–432. Add to Reading List Source URL: www.ms.unimelb.edu.au Language: English - Date: 2008-01-18 00:17:50 J. Hyam Rubinstein Heegaard splitting Loop theorem Handle decomposition Rubinstein Normal surface Topology 3-manifolds Geometric topology
20	Divulgaciones Matem´ aticas Vol. 10 No[removed]), pp. 161–169 Add to Reading List Source URL: www.emis.de Language: English - Date: 2003-07-01 15:32:43 Group theory Quaternions Non-associative algebra Moufang loop Octonion Associative algebra Frobenius theorem Presentation of a group Associator Abstract algebra Nonassociative algebra Algebras